<?php
/**
 * The Crux of our User Code section
 *
 *
 **/

// XXX this should really be in a util class
function clean( $string ) {
  return ($string);
}

?>
